p-adic rational invariant

P进有理不变量